1. Applied formal verification
المؤلف: / Douglas L. Perry, Harry D. Foster
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Integrated circuits -- Verification,Electronic circuits -- Testing
رده :
TK
7874
.
58
.
P47
2005
2. Models in hardware testing
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic digital computers ; Circuits ; Testing. ; Integrated circuits ; Verification. ; Integrated circuits ; Computer simulation. ;
3. Models in hardware testing
المؤلف: / edited by Hans-Joachim Wunderlich
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic digital computers--Circuits--Testing,Integrated circuits--Verification,Integrated circuits--Computer simulation
رده :
TK
,
7888
.
4
,.
M63
,
2010
